AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
arxiv.org·1d
Solved yet stuck
kevinsdias.com·11h
Co-optimization Approaches For Reliable and Efficient AI Acceleration (Peking University et al.)
semiengineering.com·16h
Meet the IBM researchers trying to make LLMs smarter
research.ibm.com·20h
Conversation: LLMs and the what/how loop
martinfowler.com·19h
Using Local LLMs to Discover High-Performance Algorithms
towardsdatascience.com·2d
On Learning Elixir
denvaar.dev·1d
Trying Zig by Implementing CHIP-8
agentultra.com·1d
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
Making a Language
thunderseethe.dev·11h
Loading...Loading more...